Nếu b=0 (mọi bi bằng 0), hệ được gọi là hệ thuần nhất. Tập tất cả các nghiệm của một hệ phương trình thuần nhất lập thành một không gian vecter con của R n {\displaystyle \mathbb {R} ^{n}} , nó được gọi là hạt nhân của ma trận A, viết là Ker(A).(Cũng là hạt nhân của phép biến đổi tuyến tính xác định bởi ma trận A). Nếu hệ phương trình tuyến tính thuần nhất có k=n và ma trận A khả nghịch thì nó có nghiệm duy nhất là nghiệm không.
